Bishop Brock : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (15)
Les plus populaires
Liste
- Liste
- Tableau

1

Rewriting with Equivalence Relations in ACL2

Bishop Brock, Matt Kaufmann, J Strother Moore

Journal:

Journal of Automated Reasoning

Année:

2008

Langue:

english

Fichier:

PDF, 290 KB

english, 2008

2

The DUAL-EVAL Hardware Description Language and Its Use in the Formal Specification and Verification of the FM9001 Microprocessor

Bishop C. Brock, Warren A. Hunt

Journal:

Formal Methods in System Design

Année:

1997

Langue:

english

Fichier:

PDF, 283 KB

english, 1997

3

Decreased protein kinase C activity in hypertrophied left ventricle induced by pressure-overload hypertrophy

Xin Gu, Sanford P. Bishop, Tommy A. Brock, Clifford C. Stephan

Journal:

Journal of Molecular and Cellular Cardiology

Année:

1992

Langue:

english

Fichier:

PDF, 90 KB

english, 1992

4

Validation of a reverse transcription nested polymerase chain reaction (RT-nPCR) to detect bovine viral diarrhea virus (BVDV) associated with in vitro-derived bovine embryos and co-cultured cells

M.D. Givens, P.K. Galik, K.P. Riddell, D.A. Stringfellow, K.V. Brock, M.D. Bishop, K.J. Eilertsen, N.M. Loskutoff

Journal:

Année:

2001

Langue:

english

Fichier:

PDF, 1.17 MB

english, 2001

5

[IEEE 2010 IEEE 16th International Symposium on High Performance Computer Architecture (HPCA) - Bangalore, India (2010.01.9-2010.01.14)] HPCA - 16 2010 The Sixteenth International Symposium on High-Performance Computer Architecture - Architecting for power management: The IBM® POWER7™ approach

Ware, Malcolm, Rajamani, Karthick, Floyd, Michael, Brock, Bishop, Rubio, Juan C, Rawson, Freeman, Carter, John B

Année:

2010

Langue:

english

Fichier:

PDF, 451 KB

english, 2010

6

Active Guardband Management in Power7+ to Save Energy and Maintain Reliability

Lefurgy, Charles R., Drake, Alan J., Floyd, Michael S., Allen-Ware, Malcolm S., Brock, Bishop, Tierno, Jose A., Carter, John B., Berry, Robert W.

Journal:

Année:

2013

Langue:

english

Fichier:

PDF, 5.62 MB

english, 2013

7

Mechanized Reasoning and Hardware Design || A Formal HDL and its Use in the FM9001 Verification

Warren A. Hunt and Bishop C. Brock

Journal:

Philosophical Transactions of the Royal Society Physical and Engineering Sciences (1990-1995)

Année:

1992

Langue:

english

Fichier:

PDF, 398 KB

english, 1992

8

[IEEE 2013 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS) - Austin, TX, USA (2013.04.21-2013.04.23)] 2013 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS) - Virtual Power Management simulation framework for computer systems

Brock, Bishop, Ramani, Srinivasan, Vu, Ken, Hanson, Heather, Floyd, Michael

Année:

2013

Langue:

english

Fichier:

PDF, 156 KB

english, 2013

9

[IEEE 2012 45th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO) - Vancouver, BC, Canada (2012.12.1-2012.12.5)] 2012 45th Annual IEEE/ACM International Symposium on Microarchitecture - Accurate Fine-Grained Processor Power Proxies

Huang, Wei, Lefurgy, Charles, Kuk, William, Buyuktosunoglu, Alper, Floyd, Michael, Rajamani, Karthick, Allen-Ware, Malcolm, Brock, Bishop

Année:

2012

Langue:

english

Fichier:

PDF, 1.59 MB

english, 2012

10

[ACM Press the 44th Annual IEEE/ACM International Symposium - Porto Alegre, Brazil (2011.12.03-2011.12.07)] Proceedings of the 44th Annual IEEE/ACM International Symposium on Microarchitecture - MICRO-44 '11 - Active management of timing guardband to save energy in POWER7

Lefurgy, Charles R., Drake, Alan J., Floyd, Michael S., Allen-Ware, Malcolm S., Brock, Bishop, Tierno, Jose A., Carter, John B.

Année:

2011

Langue:

english

Fichier:

PDF, 1.19 MB

english, 2011

11

[IEEE 2010 IEEE Hot Chips 22 Symposium (HCS) - Stanford, CA, USA (2010.8.22-2010.8.24)] 2010 IEEE Hot Chips 22 Symposium (HCS) - Adaptive energy management features of the POWER7TM processor

Floyd, Michael, Brock, Bishop, Ware, Malcolm, Rajamani, Karthick, Drake, Alan, Lefurgy, Charles, Pesantez, Lorena

Année:

2010

Langue:

english

Fichier:

PDF, 56.76 MB

english, 2010

12

[IEEE 2018 IEEE Integrated STEM Education Conference (ISEC) - Princeton, NJ, USA (2018.3.10-2018.3.10)] 2018 IEEE Integrated STEM Education Conference (ISEC) - CIRCUIT summer program: A computational neuroscience outreach experience for high-achieving undergraduates via sponsored research

Encarnacion, Marysol, Bishop, Caitlyn, Downs, Joseph, Drenkow, Nathan, Matelsky, Jordan K, Rivlin, Patricia K, Wester, Brock, Gray-Roncal, William

Année:

2018

Langue:

english

Fichier:

PDF, 298 KB

english, 2018

13

Needle aspiration lung biopsy: reevaluation of the blood patch technique in an equine model.

Moore, E H, Shelton, D K, Wisner, E R, Richardson, M L, Bishop, D M, Brock, J M

Journal:

Année:

1995

Langue:

english

Fichier:

PDF, 746 KB

english, 1995

14

Ibrutinib Plus Venetoclax in Relapsed/Refractory Chronic Lymphocytic Leukemia: The CLARITY Study

Hillmen, Peter, Rawstron, Andy C., Brock, Kristian, Muñoz-Vicente, Samuel, Yates, Francesca J., Bishop, Rebecca, Boucher, Rebecca, MacDonald, Donald, Fegan, Christopher, McCaig, Alison, Schuh, Anna, P

Journal:

Journal of Clinical Oncology

Année:

2019

Langue:

english

Fichier:

PDF, 662 KB

english, 2019

15

Fire, rodent herbivory, and plant competition: implications for invasion and altered fire regimes in the Mojave Desert

Bishop, Tara B. B., Gill, Richard A., McMillan, Brock R., St. Clair, Samuel B.

Journal:

Année:

2019

Fichier:

PDF, 1.52 MB

2019